AIDS-007915 AIDS007915 Piperazine, 1-[(1S)-1-[4-(1,3-benzodioxol-5-ylmethyl)phenyl]ethyl]-2-methyl-4-[1-(2-methylbenzoyl)-4-piperidinyl]-, (2S)-