You can download the DivX H.264 Decoder here which is an encoder for the DIVX format. You can also compare this to the x264 video codec as well as the popular AV1 Codec and x265 Encoder. There is also the DXVA checker tool which can be of use to you. This component allows you to make use of the H2.64 video codec and encode them in the 4K format as well. There is also hardware acceleration on offer with this software encoder.