AVI è l'estensione video, poi che formato di file sia non lo sai mai, che sia DIVX, Mpeg2/4, wmp, DV finche non lo apri non lo scoprirai mai
e comunque anche io mi ricordo che con flashMX esporti il fla in mpg poi se vuoi farne un divX o altro usi i software come FFmpegXX