Proof-of-concept studies with a computationally designed M <sup>pro</sup> inhibitor as a synergistic combination regimen alternative to Paxlovid