Open the media file in Windows Media Player and goto File->Properties. It should identify the codec used to play the media. Many tools exist to convert video from one codec to another on the web.