Hallo
bei Avidemux:
Video -> Kodierer (eine der mpeg4 ASP-Varianten auswählen)
Video -> Filter (da gibt´s zwei verschiedene, um die Größe zu ändern, Doppelklick zum Einstellen)
VirtualDub hab ich grad nicht hier, sollte aber auch über die Codec-Einstellungen gehen.