I use VLC (you can choose any supported output, not just MP3): http://www.howtogeek.com/howto/2719/how-to-convert-video-files-formats-to-mp3-with-vlc/