What is the command line way to encode the audio portion of DVD movie files into mp3 when converting from other formats into mpg using ffmpeg encoder? And, what is the codec to use for av3 audio encoding?