Cambiar formato y tamaño de video?

necesito un programa que sirva para pasar cualquier formato de video (o x lo menos los mas comunes, como avi o rmvb) a:
Cita de NWZ-A720 series Operation Guide:
MPEG-4 simple profile, AVC (H.264/AVC) baseline profile


y ademas que se pueda cambiar el tamaño del video...o sea la resolucion, gracias...