MPlayer OS X plays divx files great, although the interface is obtuse (yet usable). It will play the avi files divx validator won't validate too!