Äh, DivX ist doch beim Entwickler auch in einer Mac-Version erhältlich: Klick!
Ein recht guter Player sollte auch der MPlayerOSX sein.