Discovery of γ-secretase inhibitors efficacious in a transgenic animal model of Alzheimer’s disease