Pro kostet... knapp $30, soweit ich das erinnere (beim aktuellen Wechselkurs aber wieder einen Blick wert ;-) )
Ich weiß, dass es noch andere Tools gibt, die können. Die gibts auch Gratis, soweit ich mich erinnere... Aber mir fehlt die Übersicht über die Programme...
Schau doch mal bei Versiontracker.com und MacUpdate.com nach 3GP, da wird sich bestimmt was finden.
Wie groß ist die AVI File? Im Zweifel rechne ich dir nachher einfach um und schick sie dir dann! ;-)