m4vやmp4などの動画からmp3を抽出

　そんな時はMovie Toolsを使います。もっともこのソフトはQuickTimeムービーを音声ファイルに変換するものなので、mp3だけでなくAACやAIFFなどにも変換してくれるようです。ですからm4vやmp4だけでなくmovファイルなんかも大丈夫なんでしょうね。こういった知識はあまりないので、必要に応じて調べているだけなので違っていたら指摘してください。