I'd really like to avoid using yet another program... Interestingly, I tried to convert the file with another machine using the MPEG-4 (AAC) codec, and it didn't convert the audio track: Instead it kept the original audio track along with the converted video. Which would be perfect, if I can get it ...