Using mplayer save RealMedia audio in a sensible format?

[Adam Funk <a24061@yahoo.com>]

Sorry: I'm sure I've most of the man mplayer page a few times and I
still can't figure out how to do this.  I want to convert a RealPlayer
URL stream into a file in some sensible (e.g. WAV, Ogg, MP3) audio
format.

I started with this:
  mplayer -dumpfile foo.wav -dumpstream rtsp://....ra
but foo.wav turned out to be a RealMedia file.

I've also tried various combinations of -ao and -format options, but the
output file always ends up the same.  I'd appreciate it if anyone could
tell me what I'm missing.

Thanks,
Adam