VirtualDub might be the thing for you - you can save the audio of a video to a wav (which you can then play with in sound editors/convert to mp3 etc).