Nimm Virtual Dub. Sehr gute Freeware mit übersichtlichem Interface, gutem Handling und featuremäßig mit allem was man für's Encodieren so braucht ausgestattet...
du bräuchtes 'nen divx-codec (oder halt xvid). ich glaube, ebim divx-codec ist auch ein converter dabei, mit dem du die avi nochmal komprimieren kannst. wegen tonspur usw. soll virtual dub gut sein (hab ich schon oft gelesen; ich benutze adobe premiere 6.0 / 6.0 / pro 1.5 --> ab 600€; ich denke, das sprengt deinen kostenrahmen ;D ).