Go to file>export>movie, then click on settings.
Under general, change the file type to "Microsoft AVI", then click the video tab and change the compressor to Divx, this will only work if you actually have the Divx codec installed, when you click configure you'll have the option to change the bit rate etc.
Hope that helps.