State of VLC for Android / Media Player that plays AVI files
Rockplayer has decoders built-in and can play divX files. AVI files are containers - you should also find out what codec has been used for the video. Use a utility like GSpot Codec Information Appliance on your PC to check.

There's also yxPlayer but not too many satisfied users from what I hear although YMMV.