I don't think the SD4000 is an MP3-player

If you want to put it in as a sample, you could convert it on your PC/MAC. This will convert it to WAV without loss of quality.

The SD4000 can handle WAV

Roel