Discovery of SHANK1-PDZ Peptide-Fragment Inhibitors Using a Dynamic Ligation Screening Strategy | Synapse