http://avifile.sourceforge.net/
http://avifile.sourceforge.net/binaries-011002.tgz

http://prdownloads.sourceforge.net/avifile/binaries-011002.tgz
http://prdownloads.sourceforge.net/avifile/divx4linux-20020418.tgz
http://prdownloads.sourceforge.net/avifile/Win32_dmo.tgz

http://www2.mplayerhq.hu/MPlayer/releases/w32codec-0.60.tar.bz2
http://www1.mplayerhq.hu/MPlayer/releases/codecs/essential-20050412.tar.bz2

http://www2.mplayerhq.hu/MPlayer/releases/codecs/essential-20061022-MD5SUMS
http://www2.mplayerhq.hu/MPlayer/releases/codecs/essential-20061022.tar.bz2

<C4> on my ftp (assuming you can get here) in /pub/software/linux/codecs I
believe there is a 3.7MB pack ("win32_codecs.bz2" or something) that seems
to work real well for everyone that's used it