Hola:
Por norma general no se puede comprimir un archivo comprimido, lo puedes intentar pero los resultados seran penosos, asi que aunque no he probado winhua sabiendo que divx es un formato comprimido no te va a valer la pena.
La cosa no esta en que el archivo sea grande o pequeño, sino en que sea facil de comprimir o no.
De todas maneras puedes probarlo, pero yo diria que el espacio que ahorres no te va a valer la pena respecto al tiempo que gastes.
Saludos
