Gracias Ius Uned, lo he descargado pero no sé convertir el archivo en mp3.
Lo tendrás que instalar, y después busca la opción dentro de Real que te grabe en mp3, si no recuerdo mal, solo era posible cuando se usaba para la grabación a través del USB.
Lo siento, pero hasta aquí te puedo ayudar. Busca en Google opciones, que las hay y muchas.
Saludos,