I have a movie in regular AVI format.

I need to export it in this format:
XVID ISO MPEG-4 Compressor.

I have Premiere Pro cs3 , but no option to export in this codec / compressor.

What program will convert my avi into an avi (mp4) ?