Si tu appliques un filtre, forcément tu dois tout ré-encoder.
La meilleure solution est de REFAIRE ton divx en appliquant à la source le bon ratio (t'en fais pas, c'est en se trompant qu'on apprend!)
Sinon, au pire, tu utilise un layer qui te permet de changer l'aspect ratio à la lecture; par exemple, avec Media Player Classic, en cliquant sur les chiffres du clavier numérique tu peux agrandir ou réduire, dans les deux directions ou une seule à la fois; avec BSPlayer aussi tu peux modifier...
A toi de voir.