HR1 domain from HCoV-OC43 in complex with a pan-CoV inhibitor EK1