AIDS-008290 AIDS008290 Piperazine, 4-[1-(2,6-dimethylbenzoyl)-4-methyl-4-piperidinyl]-2-methyl-1-[(1S)-1-[4-(trifluoromethyl)phenyl]ethyl]-, (2S)-