Dump the official Divx plugin on the mac and try Perian. That and the Flip4Mac codecs are the only ones my mac has, and it encoded your file fine to an MP4 H.264 file.