Во-первых в инструкции должно быть указано какие форматы читает плеер; во-вторых есть конвертеры, которые из одного формата перекодируют в другой. А скачивать на мой взгляд лучше всего в формате avi (самый распространённый), а потом в любой перекодировать можно. Magic Video Converter одна из таких программ.
AVI — это не формат, это лишь контейнер. В файле AVI может быть видео любого формата, в том числе и совместимого с проигрывателем (MPEG-2). Если вообще проигрыватель проигрывает видеофайлы.