Design of a SARS-CoV-2 papain-like protease inhibitor with antiviral efficacy in a mouse model