No lo hay. Esto es porque los AVI ya es un formato muy muy comprimido, digamos que es como si los datos estuvieran muy apelotonados y sin huecos entre ellos, por eso si tratas de meterlo en un ZIP verás que a lo mejor lo comprime menos de un 1% porque no puede más...
La única solución es volver a comprimir el AVI con un bitrate más pequeño, con la consiguiente pérdida de calidad. O bien partir el AVI en varios trocitos.
Saludos