AIDS-033522 AIDS033522 Piperazine, 1-[[4-(1,3-benzodioxol-5-ylsulfonyl)phenyl]methyl]-4-[1-(2,6-dimethylbenzoyl)-4-piperidinyl]-2-methyl-, (2S)-