TNF and spinocerebellar ataxia type 1: We have previously demonstrated microglial activation, measured as an increase in microglial density in cerebellar cortex and an increase in the production of pro-inflammatory cytokines, including tumor necrosis factor alpha (TNF-α), in the cerebellum of the ATXN1[82Q] transgenic mouse model of SCA1.