HPS1 and Alzheimer disease: In AD;EphA4-KO mice, hAPP and hPS1 expression was similar compared to AD mice, as determined by Western blot (Additional file 1: Figure S1 A-D).