I am searching for a tool that will take an incoming WMA or Real Audio stream, from an internet radio station, and convert it into an MP3 stream that my receiver understands.

All my searches for something are swamped by references to packages which _record_ the incoming stream into MP3 format for later playback. I want to listen live, not record.

Is anyone aware of a package like this ?

Thanks

Mark