Converter para Wav 8KHz

[TELEFONIA FIXA]

Preciso de um programa ou sugestão que me possibilite converter um mp3 para Wav conforme especificação abaixo:

* Arquivo WAV

* Taxa de amostragem: 8 KHz

* 16 bits

* Mono canal

* Tamanho 150 KB

Para colocar num PABX Impacta 68, o manual dela informa que só aceita essa configurações.

[Jambao]

Editor de áudio faz esse trabalho: Audacity, Sound Forge são dois exemplos.