There are now mp3 files encoded for 5.1.
From Wired
http://www.wired.com/entertainment/m.../2006/02/70230
If you have the storage room you can use one of the lossless codecs like mp4 SLS or FLAC for an identical copy of the original audio after decompression.
The newer receivers support lossless formats for audio.