Supercomputer simulation of the covalent inhibition of the main protease of SARS-CoV-2