Ja korzystam z programu Realt7ime Converter - był chyba ściągnięty z internetu (nie pamiętam skąd) w formie spakowanej, nazwa
real7ime_ucfrtc11.zip
"Real7ime Converter (R7C) is a converter of any RealPlayer streaming
medias (video and sound) to AVI/WAV/MP3 format. It is a realtime
converter because it does not manage Real Time Streaming Protocol(tm)
(RTSP) directly so the needed time to convert a media will be greater
or equal to the time of the media."