This is just a remark for me, because occassionally I need to convert mp4/x264 video using DivX codec, but due to random applicability I am not able to remember it. Why DivX? Video encoded by DivX is only one reliable option for me how to stream video from my NAS to TV without any interruption. I am using ffmpeg utility for video conversions, it is a reliable cross platform tool with lot of features and I am mostly happy with it.
So how to do it? Simple run something like following command (the most important bolded):