Informações da última versão: Ubuntu Linux 20.10 - Groovy Gorilla
no AVIDEMUX você abre o arquivo a ser convertido, seleciona o encode DIVX e salva como AVI.Só isso.