(2R)-Piperazine, 4-[1-(2,6-dimethylbenzoyl)-4-piperidinyl]-1-[(1S)-1-(4-iodophenyl)ethyl]-2-methyl- AIDS-008881 AIDS008881