In Silico Design of Peptide-Based SARS-CoV-2 Fusion Inhibitors That Target WT and Mutant Versions of SARS-CoV-2 HR1 Domains