No, RealNetworks company (owner of RealAudio) does not allow to decode RealAudio format into other audio formats.