AIDS-030572 AIDS030572 Piperazine, 1-[(1S)-1-[4-(1,3-benzodioxol-5-ylsulfonyl)phenyl]ethyl]-4-[1-(2,6-difluorobenzoyl)-4-piperidinyl]-2-methyl-, (2S)-