realaudio --> mp3 oder wav

Hallo Leute! Gibt es unter Linux ein Tool mit dem man realaudio in mp3 oder wav umwandeln kann. Wenn ja, könntet ihr mir bitte einen Link geben wo ich das Programm downloaden kann. Gruss Maik.