How do I change a music file from my Korg D1200 digital recorder to a MP3 file?

ErikB76 asked: Im assuming it doesnt matter what type of device creates the file, it could be a file from a CD.