Hola:
En un principio, usando bgsound, no se notará en los navegadores mozilla, que no lo soportan... con la etiqueta embed valdría en todos los navegadores...
De los formatos que mencionas, el que pesa menos es el mid, pero no es "real"... si quieres usar música "grabada" menos peso tendrán los ficheros mp3.
Aunque yo nunca he usado flash, me parece que se obtienen buenos resultados.
Saludos