Adobe After Effects offers export to AVI format just fine, but it might not be obvious for users. This is due the fact that instead of AVI format listed for export, it describes it as "Video for Windows", but unfortunately this option is missing on Mac version.
You can always render your files to some other format, like QuickTime MOV and use some common multimedia converter to convert or export that file to AVI.