AIDS-039113 AIDS039113 Piperazine, 1-[[5-(4-chlorophenyl)-1-cyclohexyl-2-methyl-1H-pyrrol-3-yl]methyl]-4-methyl-