Discovery, Structure–Activity Relationship Studies, and Crystal Structure of Nonpeptide Inhibitors Bound to the Shank3 PDZ Domain