Das Problem hatte ich auch vor kurzem. Zwei Möglichkeiten habe ich schon erfolgreich ausprobiert:
Wie McHawk schon schrieb, kannst Du Avidemux benutzen. Du müßtest dann die entsprechenden Einstellungen vornehmen. Die entsprechende Konfigurationsdatei habe ich also schon erstellt.
oder Du benutzt den divx-Converter: http://www.divx.com/de/software/download/start . Nach Installation den Converter starten. Dann auf Dateien hinzufügen -bei Ausgabeformat: Divx Home Theater einstellen und dann Start drücken. Das dauert dann eine Zeitlang und die Dateien werden durch die Neukodierung auch größer als die Ursprungsdatei.
Wie kann man eigentlich einem Post eine Datei anfügen? Ich wollte eine Datei mit den Einstellungen für Avidemux hinzufügen, aber das System will nimmt nur Dateien im Format jpg bzw. png an.