Bucando una herramienta que me permitiera convertir unos ficheros de audio de .amr a .mid me he encontrado con esta web , que convierte un sinfin de ficheros a otro formato sin instalar nada en nuestro ordenador.

Media convert

Gran ventaja si tenemos el ordenador limpio y escoscado para no llenarlo de programas que sólo usamos un par de veces en nuestra vida.