Ogg Vorbis is a file fomat like mp3. However, unlike mp3s, it does not have restrictive licensing, and is free (whereas mp3s soon won't be).