bajate primero que todo el xvid o el div X.
despeus de eso puedes usar cualquier... en tu caso el Adobe premiere, pero tienes otras opciones como el windows movie maker o muchas otras herramientas free que hay en la web... ( pe WinAvi video converter)
Con div X ya tienes perfiles predeterminados para archivos pequeños... en todo caso no es tan facil como soplar y hacer botellas... debes experimentar bastante para entender bien para que es cada cosa y obtener los resultados deseados cada vez que los necesites.