use some Program like WinAVI Video Converter [and several others do the same]
you can convert an AVI file to an AVI file - you can even keep the same Resolution
try several different programs, as the seem to have different effiencies on their compressions
you can do a search for a "AVI Video...