Bueno, yo uso la versión de linux entonces simplemente ejecuto avidemux y ya.
Esos 4 ejecutables parecen diferenciarse en la librería gráfica (amos, para las ventanas, los botones y demás), es decir, es el mismo programa.
Cuál iniciar dependerá de las librerías que tengas instaladas en windows. Prueba a ejecutar el _gtk y si no el _gui.
Bueno, es muy sencillo. Abres el vídeo. A la izquierda, en vídeo, donde pone "Copiar" lo cambias y eliges un códec, por ejemplo yo he elegido "MPEG-4 ASP (Xvid4)", elige el que más convenga para tu mp4. Puedes configurar los parámetros del códec elegido dándole a "Configurar" (lógico, por otra parte).
Ahora le das a Filtros, en la sección "Transform", eliges "Redimensionar", le das al signo "+" que hay al final de la lista, eliges el nuevo ancho y alto, si quieres mejor calidad (y que tarde más en redimensionar el vídeo) cambia "bilinial" por "bicúbico".
Una vez configurado el códec y los filtros, le das a "Guardar" ó Archivo -> Guardar, eliges el nombre del archivo con el que se guardará y empezará la recodificación. Le puede costar bastante, dependiendo del tamaño del vídeo, los filtros, el códec y la potencia de tu ordenador.
