Ja polecam darmowy AnyVideoConverter - potem na avi i mpeg4 ustaw kodek (ja w pierwszym poscie mam nim spakowany film, bit rate chyba 2000 dalem, ale 1000 spokojnie bedzie super, moze nawet mniej).
W 1 poscie masz direct link do sciagniecia, tez bawie sie na nim ostroscia. Spakowany z minimalna strata jakosci.