Actually, the sound was MP3 all the time, only it was VBR MP3, and that's not really allowed in AVIs. Quicktime couldn't figure out what it was and wrote mpga - for MPEG Audio, MP3 is MPEG 1 Audio LAyer 3 - as a general designation. VBR MP3 is quite OK in MOVs, so QuickTime can read it now.