Editar divx

Hola: ¿Acabo de empezar a usar esto del divx así que ando algo verde.El asunto es que me he bajado alguna peli .avi de internet que ocupa poco + de 700 megas.Hay alguna forma de acortarla aunque sea perdiendo un poco calidad para no tener que ponerla en 2 cds por unos pocos megas?. He oído algo del virtualdub, pero no se si vale para esto y antes de comerme la cabeza con el quería oír tu respuesta. Gracias figura