What's a good program to record internet radio with?

And convert internet sound into mp3? Preferably freeware. I have Total Recorder 7 and it doesnt seem to work with Win 7 64 bit