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