Design, Optimization, and Study of Small Molecules That Target Tau Pre-mRNA and Affect Splicing