model that genetically mimics the arrest of Aβ production expected from treatment with secretase inhibi