Извини я еще и невнимательно прочел:
4) VirtualDub-ом вытащить звук, перекодировать в mp3 и присоединить обратно.
Это знаешь сколько времени займет!!! Ха-ха-ха
Хорошо шутишь, а еще скажи поставить и переконвертировать в avi
))
Это ж проше чем кодеки страшные ставить