Come gia' detto da DazKool avi non compresso e' la qualita massima.
Non e' vero che flash esporta solo nei formati che dici tu.
Flash si aggancia a tutti i codec che hai installato sul pc, quindi puoi' esportare nel formato che ti pare.

Ho lavorato al montaggio video diversi anni e ti do un consiglio:

esporta in un formato non compresso e poi fai la compressione con il tuo software di video editing o di dvd.

Ricordati che per il dvd devi avere il video alla risoluzione 720x576 25 frame al secondo(pal).