When exporting the sound from a small movie clip (812 KB) into AIFF format (so that it will be easily played on a PC), the audio file ends up being much larger than the file that contained video and audio -- 1.7MB! There are some compression tools offerred, but I don't have a clue about which...