Codifica Video: HDTV, DivX