Ex vivo occupancy of gamma-secretase inhibitors correlates with brain beta-amyloid peptide reduction in Tg2576 mice.