How to export in DivX from Premiere

[Spielberg]

Does anyone know what I have to do to be able to export directly in DivX format from Premiere 5.1c?
I have installed the DivX codecs and exporting from VirtualDub works fine.

Spielberg