I don't think Realplayer is a file format just another player. These downloads are all mp3s (at least that what music files have been until now because Apple has created a new and of course better format). Take one of those songs out of the folder and drag it onto the Quicktime icon. There's other file conversion shareware too. Have you tried to drag a song onto your itunes icon?