Potent, Orally Bioavailable, and Efficacious Macrocyclic Inhibitors of Factor XIa. Discovery of Pyridine-Based Macrocycles Possessing Phenylazole Carboxamide P1 Groups | Synapse