AIDS-007814 AIDS007814 Piperazine, 1-[1-(2,6-dimethylbenzoyl)-4-methyl-4-piperidinyl]-4-[(4-iodophenyl)methyl]-