(2R)-Piperazine, 4-[1-(2,6-dimethylbenzoyl)-4-piperidinyl]-1-[(1R)-1-(4-iodophenyl)ethyl]-2-methyl- AIDS-007802 AIDS007802