APP and Alzheimer disease: Immunofluorescence staining of APP/β-amyloid and the microglia marker Iba1 in the mouse hippocampus confirmed that Aβ42 infusion successfully induced AD pathology (Figure S3A).