How can I extract audio from a video file and convert it to mp3? Can virtual dub do that?