TSC1 and bacterial infectious disease: During bacterial infection, the percentage and number of activated effector CD4+ T cells decreased in TSC1 KO mice.