[MPlayer-users] converting from real media to some other format

[bnj]

Hello,

I have a realmedia file that I would like to convert to mp3 or ogg or 
wma or even mov or whatever. I tried to do it with mencoder but without 
success and I could not find a good tutorial about converting audio 
files on the web.

Is it possible to convert .rm (or .ram, or .ra) files to other formats? 
How? If you know of a good tutorial, you might also just point me to it.

Thank you in advance for your help,

Benjamin