Probabilmente è già un divx. Quindi o lo lasci così o aumenti la compressione