Running the video through VirtualDub should be much more effective at reducing the file size, given an appropriate choice of codec.