I seem to remember using MP4 wrapper, H.264 codec, 25fps, 800x480 with AAC audio at 16Kbps stereo.
I'm sure I got it down to about 16fps with not much visible difference, but the filesize wasn't much smaller either so I went back to 25fps.
Let us know how you get on!