Here just quick tips increase your Houdini productivity. Installing ImageMagick-7.1.0-Q16-HDRI will add new codec.
Download the installer : https://imagemagick.org/script/download.php
Install ImageMagick-7.1.0-Q16-HDRI and Restart the PC
Thats it now you can export with FFmpeg from Mplay.