L'unico modo per ottenere avi decenti da flash è:

O esporti come avi con codec XVID. (è free)settato alla qualità massima (fidati ho provato di tutto ormai)
La qualità è ottima anche su linee grafiche molto sottili.

oppure esporti il tutto in quicktime (devi avere il pro) e poi in premiere o simili esporti come ti pare e piace.

Ricorda che nei filmati avi tutto ciò che è clip filmato non viene esportato (sarà una grafica statica).

ciao