“Daniel O'Day believes that within his lifetime, it will be possible to talk about HIV in the past tense.”