(2S)-Piperazine, 4-[1-(2,6-dimethylbenzoyl)-4-methyl-4-piperidinyl]-1-[(1S)-1-(4-iodophenyl)ethyl]-2-methyl- AIDS-008283 AIDS008283