I was trying to extract the audio file from some youtube videos in order to play it back from my iPod shuffle. I tried various methods (including the otherwise quite versatile VLC Player, but finally settled on the following two step procedure: