Here are some tools I made for converting PCM to Wav and vice-versa, thanks to @TheBrokenRail for figuring this format out, and making this extractor for it: https://github.com/RandomSoup/Junk-Drawer/blob/master/minecraft/sound-extractor/extract.cpp
Unfortunately, PCM-maker.py is very slow for media files over 10 seconds. I have not figured out a way to correctly do it faster.