Diastereomeric Resolution Yields Highly Potent Inhibitor of SARS-CoV-2 Main Protease