Targeting a viral macrodomain: Design, Structure-Based Optimization and Antiviral Evaluation of Nanomolar Inhibitors for Mac1 of SARS-CoV-2