Hi Peter,
to recover your device, I advise you to flash the fastboot ROM for your Xiaomi Redmi Note 4X with the XiaomiFlash tool.
If your device is connected with your PC as HS-USB Diagnostic 900E, go to Device Manager > Don't search I will choose the driver to install > Let me pick from a...