hola, yo tampoco descargue el video pues ese servidor es leento ( ¿que pasó con los tiempos en los que se usaba megaupload o mediafire? ) , pero hay 3 programas que me han funcionado bien para hacer eso que quieres.
El primero es
WinAVI all in One Converter y el otro es
Format Factory. Los contenedores avi y mp4 bajandole el bitrate y en xvid creo que son lo que mas te pueden ayudar para que pese no tanto y conserve lo mejor que se pueda la calidad.
El 3ero no se bien con que caracteristicas convierta y de hecho me topé con el sin querer, se llama
Real Anime 6, es el que usan muchos para hacer sus "versiones ligueras" y lo eh probado y no esta tan mal, videos de media hora los pasa a videos de 50mb aproximadamente, checa esos programas para que te des una idea aver si alguno te convence
