Die Anleitung beschreibt nur die unterstützten Container-Formate.
DivX entspricht dabei im Prinzip einfach nur AVI. Ich würde an Deiner Stelle einfach das MP4 in MKV umpacken [free.fr]; insbesondere weil je nach DivX-Profil nur MPEG-4 Part 2 unterstützt wird, und das ein umkodieren bedeuten würde. MKV lässt sich problemlos mit H.264 verwenden.