I remember reading somewhere that opensource codec for Real files is good for only the old formats, but I don't know if that's the case here.
If it is only the audio that you'd like to convert, you could probably use Soundflower as a "fake" output device and a recording software, such as Garageband or Audacity. If you need the video as well, then obviously I am no help to you, sorry...