Condoms today and an HIV vaccine tomorrow