Hello, I am editing a movie now and was wondering how i could export it directly to DivX with a file size of 700mb or less? What codec would i need? How do I calculate the time/frame rate/bitrate etc?

Thx in advance, Aron