Does anyone know how to rip a Real Audio File to an MP3??

Tony-- I remember reading that you do this, but how?
Thanks,
Wes