.
If it's not DivX, it's probably XVid. Search the Google for both and download the proper codecs from their official websites.

Also find and install VLC Media Player, which can play virtually anything made on this planet.
.