Crystal structure of the SARS-CoV-2 spike protein HR1 in complex with a designed peptide inhibitor dP-S2FI-0087 at 3.1 angstrom resolution