Progress in Developing an HIV Vaccine: Empiricism and a Bit of Optimism