AIDS-033212 AIDS033212 Piperidine, 1-[(4,6-dimethyl-5-pyrimidinyl)carbonyl]-4-[(3S)-4-[(1S)-1-(4-iodophenyl)ethyl]-3-methyl-1-piperazinyl]-4-methyl-