macosxhints - Convert Real Audio files to MP3s
"By using a few freely available UNIX command line tools, and codecs from the OS X version of Real Player, one can easily and quickly convert Real Audio to MP3."