Crystal structure of the main protease of coronavirus HKU4