¿Como se puede convertir un MP4 de movil a AVI?

Pues eso, que busco, pero solo encuentro como hacer el proceso inverso, pero yo quiero sacar los videos hechos con mi N90 y convertirlos para verlos en el reproductor de DivX del salon...