[m-p-3]

Thanks to FFmpeg it's really simple to convert an HDR file to SDR in HandBrake by setting the colourspace to BT.709 under the Filters tab.