come si converte un file avi in mpeg o divx?

[netghost]

ho fatto con la mia fotocamera un filmato di 30" e pesa circa 2.7mb, è possibile convertirlo in divx? o in altro formato più leggero? come?
tnx

ho fatto con virtual dub una prova, ma è aumentato a 3.5 :master:

[Dream]

E' corretto utilizzare virtualdub, se il file è aumentato evidentemente hai settato male i fattori di compressione del video.