Convertir de AVI a DIVX bajo SuSe 8.1

Hola lista, estoy generando unas animaciones en formato AVI, y el problema es que ocupan una barbaridad (cientos de megas). Me gustaría pasarlas a DIVX para comprimirlas, pero no se que herramienta usar ¿Viene alguna con Suse 8.1? No encuentro ninguna... ¿Alguien me puede aconsejar? Muchas gracias de antemano.