AIDS-039118 AIDS039118 Piperazine, 1,1'-[(1-cyclohexyl-2,5-dimethyl-1H-pyrrole-3,4-diyl)bis(methylene)]bis[4-methyl-