Usando [Expressão Regular][1] chegará ao resultado.

- **\d** Somente digitos
- **{4,5}** Limita de 4 a 5 digitos

<!-- begin snippet: js hide: false console: true babel: true -->

<!-- language: lang-js -->

    window.onload = function(){
      var campo = document.querySelector('#matricula');
      campo.addEventListener('keyup', function(){
        var matricula = this.value;
        matricula =matricula.replace(/\D/g,""); // Remove o que não é digito
        matricula =matricula.replace(/(\d{4,5})(\d{1})$/,"$1-$2"); // 4 ou 5 digitos a esquerda e 1 a direita
        this.value = matricula; // Insere o valor formatado no input
      });
    }

<!-- language: lang-css -->

    input {
      border: 2px solid #ccc;
      color: #069;
      padding: 8px;
    }

<!-- language: lang-html -->

    <input type="text" name="matricula" id="matricula" maxlength="7" />

<!-- end snippet -->

###Referências

 - [querySelector - MDN Web Docs][2]
 - [addEventListener - MDN Web Docs][3]
 - [Expressões Regulares - MDN Web Docs][4]
 - [replace() - MDN Web Docs][5]


[1]: https://pt.stackoverflow.com/tags/regex/info
[2]: https://developer.mozilla.org/pt-BR/docs/Web/API/Document/querySelector
[3]: https://developer.mozilla.org/pt-BR/docs/Web/API/Element/addEventListener
[4]: https://developer.mozilla.org/pt-BR/docs/Web/JavaScript/Guide/Regular_Expressions
[5]: https://developer.mozilla.org/pt-BR/docs/Web/JavaScript/Reference/Global_Objects/String/replace