Bob - You might be able to make my app
Streamers work for you - it allows you to record RealAudio (and other) streams and import them into iTunes. Not sure how this file you have works. If it points to an external source, then you could start it playing and then get the stream's actual url from Clip Info (in one of RealOne's menus).
Alternately, and maybe more easily, you can use Ambrosia's
WireTap to record the audio - and then drag the resulting audio into iTunes. From there you can convert it, if you wish, into an aac or mp3.
Hope this helps.
C