Ayuda: real audio a mp3

Alguna utilidad para windows que me permita convertir ficheros real audio a mp3?

gracias por adelantado

Descarga dB PowerAmp y luego le añades el códec para archivos real player (en el apartado "Otros códecs" de éste enlace:

http://www.dbpoweramp.com/codec-central.htm

Esto de no poder editar los posts... Quería decir real audio, claro...

http://www.dbpoweramp.com/codec-central-ra.htm

Agradecidisimo (jod*r, como se me habrá pasado este programa)

saludos