You’re going to want to convert the file to ADPCM with a tool like FFMPEG. Details are in “Inside Playdate” I believe.
