AVI player/converter with numerous codecs, including MPEG-4(DivX ;-))