Ich habe hier zwei *.mp4 movies bekommen. Diese lassen sich problemlos unter VLC anzeigen.
Allerdings möchte ich sie in *.avi/DivX format konvertieren

Mit welchen Tools kann ich das wie machen ?

Mit VirtualDub geht das z.B. nicht.
Ist hier das Problem der Audio-Teil oder der Video-Teil?