In Silico Hit-to-Lead Optimization of De Novo Macrocyclic Peptidomimetics Targeting the β-Catenin/TCF4 Interface: A Rigid-Body Heuristic Approach | Synapse