AIF1 and tauopathy: MRI scans, tau-PET (11C-PBB3), and TSPO-PET (using 18F-FEBMP) acquisitions were conducted, and immunochemistry for markers of neuronal survival (NeuN), tauopathy (AT8), and inflammation (TSPO, ionized calcium-binding adaptor molecule 1 or IBA-1, and complement component 1q or C1q) were searched in mice brain sections.