AIDS-botemedel, lanserat av Progenex