Warum machst du dir überhaupt die Arbeit das alles umzuwandeln?
Dir geht dabei relativ viel Qualität verloren(vor allem auch noch durch das im Vergleich schlechtere DivX), und dein System sollte doch wohl stark genug sein, um einen in MPEG-4 AVC kodierten 1080p Film abzuspielen.

Wenn du schon umwandeln willst, würde ich nicht DivX nehmen, sondern MPEG-4 AVC (H.264) und beim Bearbeiten auch nicht auf eine Anwendung setzen(VirtualDub), die das seit 10Jahren nicht mehr aktuelle VFW-System nutzt (und das ganze auch noch auf Win64).