The format can fortunately run on one of my media players (The Core Media Player). Is there any way to convert it to mp3?