You can also use Tunebite. It records in real time or 4X real time. The mp3 files it generates are pretty large, but should work out fine for an...
Audacity or TotalRecorder will do that. They record anything that's going through the sound card.
Separate names with a comma.