Mira, como recomendación, instalate el realplayer, versión gratuita y activa lo de descargar videos y con eso puedes descargarlos en el formato que quieras, divx, xvid, etc. recuerda que aunque la codificación sea divx o xvid la extensión del archivo sería .avi, es decir el archivo seria "video.avi"