Since 2020/10/28, Redmi 4X has been added to UBports installer. Please download the latest version of UBports installer and install it. You'll need to check "Wipe userdata" in the installer if you're from Android OS.