That's a standard Windows Media Player 9 format, the current media player is 11, but anything nine and up should play that. Best to re-install Media Player to get the codec sorted out.
There are other ways to solve this, but updating, or re-installing Media Player is the easiest I can think of.