Sejam todos bem-vindos e fiquem atentos às regras de utilização do fórum e política de privacidade.
no AVIDEMUX você abre o arquivo a ser convertido, seleciona o encode DIVX e salva como AVI.Só isso.