Sure, you can mux DivX into a mp4 container, but don't be surprised if it wont play in various equipment that don't support that specific codec. H264 should be

Sure, you can mux DivX into a mp4 container, but don't be surprised if it wont play in various equipment that don't support that specific codec. H264 should be working mostly everywhere, I hope :-)