What is 'mp4'? Are you talking about MPEG 4, the video compression format? Divx is a MPEG 4 codec. One of many, as a matter of fact.
MP3 was made in 1988. I think it's time to move on to something new. Ogg Vorbis is a state-of-the-art, open-source, completely free audio codec. That means...