Did you try CoreAVC?
It plays 720P x264 very well on my laptop (P-M 1.2 / 1G memory / WMP11).
Although it doesn't really follow H.264 standard, but it's performance is awesome.
As for WMV vs DIVX, WMV is without doubt the superior one, as it's comparable (in terms of QoS) to H.264.