Divx is decent, if you want something that won't mess with your system, use VLC, it should be self-contained, doesn't rely on any system codecs.
https://www.videolan.org/vlc/

runs nice, tho last time i tried it on windows, the time slider is a bit flaky