AIDS cure, launched by Progenex