Adobe Premiere Pro: esportare in divx

[airali]

E' la prima volta che uso Premiere, e non so come esportare il filmato usando codec divx... non mi sembra di trovare l'opzione da nessuna parte.
Sul mio pc riesco a vedere i divx, quindi il codec dovrebbe essere installato (?)