Hay herramientas como Virtualdubmod que te permiten hacer un "resize" de la imagen, pero ello implica recomprimir la pelicula. Por tanto es algo lento y poco aconsejable pq pierdes calidad (haces primero una conversión de AVI a AVI y luego otra de AVI a VCD), por eso te digo que mejor es pasarla directamente a VCD y con el programa que uses varias el tamaño (asi solo haces una unica conversión, AVI a VCD, tardarás menos y la calidad será mejor).
Saludos
