Wouldn't bother.
Realmedia files are the spawn of the devil, and are crap quality to begin with.
Re-encoding them to mp3 files, will be worse quality still.
Get hold of the original .wav file, and convert that to mp3 instead
Else it's like copies of copies of tapes you used to get passed, they'd be hissy as fook