Ending AIDS--is an HIV vaccine necessary?