This avi is encoded with xvid. It is a free MPEG4 codec. You may download it at:

http://www.xvid.org/

Thank you.