format is less important here, unless you're interested about preserving quality.
you could just save to mp3 and choose the lowest settings, thats pretty small. another small one is GSM .wav, but thats designed for voice so don't rely on it for music. every other major format can be made small, just pick the lowest settings available and you'll get a small file.