Download and install
GSpot - it lists information about AVI files.
But first things first, is it a single AVI or several that you want to fit on the disc? If it's more than one, I'd just use an extra disc. If you want them smaller you'll have to re-encode them, which will take time and lose quality, though how much will depend on how much smaller the file(s) need to be.