Optimal timing of routine vaccination in HIV-infected persons