Convertire avi in mpg..come?

[companyp]

Premetto che di video non me ne intendo proprio.
Un amico mi ha trasferito una vhs in avi ma il pc sul quale mi serve il filmato (una lezione di pronto soccorso) non riesce a far girare il file,scatta troppo (K6-2 500 Mhz)
Ho provato con un mpg e quello gira fluido. Come posso convertire rapidamente senza usare tanti soft il file?
Non ho problemi di spazio mi serve una buona qualità.

Grazie

[Spyto]

Qui trovi il tutto.

[Mauro73]

Mi inserisco per un problema similare:

ho un piccolo file .mpg di 5,7mb. Vorrei ricodificarlo per ridurne le dimensioni a circa 3mb.
Che programma posso usare?
Mi interessa che poi il file rimanga .mpg o che comunque sia visibile su un pc dove non sono installati codec oltre a quelli standard presenti in win2k.

Grazie

[companyp]

Grazie!
A prima vista mi sembra un ottima guida, appena posso converto tutto.