Wenn es eine Avi ist, wurde wahrscheinlich XviD bzw. DviX als Codec verwendet.
Eine Möglichkeit wäre mit x264 neu zu kodieren; damit bekommst du die Datei
grob gerechnet 1/3 kleiner allerdings, wie mein Vorposter richtig bemerkt,
nicht ohne Qualitätsverlust.