avi -> mpg

Hi Liste, wie kann ich .avi Dateien in .mpg's umwandeln? Welche Tools gibt's da? Hintergrund: Mein Rechner ist beim Abspielen von Videos scheinbar an seiner Leistungsgrenze angekommen (AMD K6-2 500MHz). Mit mpg's hatte ich bisher keine Schwierigkeiten, jedoch werden manche avi's extrem abgehackt abgespielt (der Ton ist immer OK). Ich benutze mplayer ohne GUI, mit GUI hab ich noch mehr Performance-Probleme. Oder gibt's eine Lösung für das saubere Abspielen der avi's? Mario