PHF1 and Alzheimer disease: To evaluate the AD pathology in these animals, we performed immunostaining for D54D2 (a marker for amyloid-β) 39 and PHF1 (a marker of pre-tangle tau) 40.