Selection of CTL escape mutants in mice infected with a neurotropic coronavirus: quantitative estimate of TCR diversity in the infected central nervous system.