FFmpeg
ricerca nel forum e vedrai che trovi un 3D che spiega un po di procedure.
Comunque sia prima prendi il DivX e lo ripari poi lo converti, la procedura richiede parecchio tempo