ITPR1 and Ataxia: The IC4 peptide (also reported as IC1, Q2714-A2749; Tang et al., 2003; Tu et al., 2004) is available for competitive inhibition of PP1α in ataxias with reduced levels of IP3R1 (simulated in Model 10).