Mp3 , the best technology for Music compression
go there to learn what is it and how it work
What is Midi ?
Ogg Vorbis is the next generation in music (read here)