As of Nov 2024, you can just rename your mp3 to mp4 and upload it in the built-in editor:
It plays just fine, at least for me. (Not sure if it was this way all along or was just recently made possible.)