In silico screen and 19F nuclear magnetic resonance spectroscopy enabled chemical synthesis of a library of carmofur analogs as potential inhibitors of the SARS-CoV-2 main protease (Mpro)