Hola, para comprimirlo a divx puedes usar el virtualdub, siempre y cuando tengas instalado en tu pc los codecs divx, los puedes descargar de
www.divx.com y luego usando la aplicacion que no es dificil. Abres el archivo, luego deber ir video y seleccionar direct stream copy, y despues entrar en compression, marcar el codec que deseas, en este caso divx. Luego debes ir File, marcar save as avi y se abrira una carpeta donde lo salvaràs con un nuevo nombre, clicando salva iniciarà la compresion y sera solo cuestion de unos minutos. Lo que no te puedo garantizar es que entre en tu cd de 90 minutos. Suerte.
Restaurador