DivX4 != MP4v3
Du musst dem Windows Media Player den automatischen PluginDownload erlauben (und danach wieder abstellen, und wenn Du schon dabei bist, auch die "eindeutige Identifizierung des Players" verbieten).
Diese "Plugins" werden im uebrigen global fuer alle installierten Player verfuegbar, die diese Videoschnittstelle unterstuetzen.
D.h. wenn Du z.B. DivX5 mit dem neuen Playa installierst, so verfuegt auch die Windows Media Player ueber die Moeglichkeit, DivX5 Filme wiederzugeben.
Es reicht also im Grunde genommen der Media Player und der Real Player. Und ne DVD Software.
(mit Linux waer das nicht passiert).
Ich kann Dir mal ein Seminar ueber Videoformate zumailen, da steht alles wissenswerte drin.