AIF1 and spinocerebellar ataxia type 1: Although microglia typically display an increased level of Iba1 (except for the first experiment), the most consistent phenotype of SCA1 disease development was an increase in the number of microglia.