Effector cytotoxic T lymphocyte numbers induced by vaccination should exceed levels in chronic infection for protection from HIV