Mutations in the Aβ42 Recognition Sequence KLVFF Afford New Pentapeptide Inhibitors of Aβ42 Fibrillation: Computation-Driven Rational Design and Experimental Validation. | Synapse