Both files have the same content, they just use different video-encoding methods. You may need to go to www.divx.com to get the driver for DivX files.
If you cant download it, check out the stills from the film.