Discovery and Crystallographic Studies of Nonpeptidic Piperazine Derivatives as Covalent SARS-CoV-2 Main Protease Inhibitors