Knowledge-Based Design of Target-Focused Libraries Using Protein−Ligand Interaction Constraints | Synapse