Necesitas codecs??? y qué se supone que es el DivX???
Si queires un manual tipo, A, luego B, luego C, te vas a quedar igual porque no vas a saber lo que estas haciendo... Veamos, con lo que viste en mundodivx, ahora sabes que puedes usar un filtro llamado rezise, que cambia el tamaño del video, bien, también ya sabes cómo obtener la info del video, tanto su tamaño como el codec y el bitrate usado, ok, entonces, si usas el filtro rezise, ajustas el tamaño, haces una previa y vas ajustando hasta que salga del tamaño que quieres, puedes usar el Lanczos, en realidad probar no te quita nada, podrías hacer una prueba con Lanczos y otra in el y ver la diferencia, luego al exportar ya sabes dónde selecciona el codec de renderización, y dentro de la configuración del codec ingresar el dato del bitrate original apra mantener la misma calidad, entonces, si ya sabes todo eso, solo es cosa que lo hagas y veas los resultados, o no se qué más decirte, ahí esta todo...