Convert wav file from WAV_FORMAT_EXTENSIBLE to WAV_FORMAT_PCM

I have a 16-bit 44.1kHz wav file in WAV_FORMAT_EXTENSIBLE format. What is a simple and efficient way to convert it to WAV_FORMAT_PCM on the command-line?

ffmpeg solutions preferred, but I’m also open to using other tools.

In case it helps, here’s a sample file.

Also, I’ve seen this post, but the accepted answer doesn’t answer the question.