AIDS-032938 AIDS032938 Piperidine, 1-[(3,5-dimethyl-1-oxido-4-pyridinyl)carbonyl]-4-methyl-4-[(3S)-3-methyl-4-[(1S)-1-[4-(trifluoromethyl)phenyl]ethyl]-1-piperazinyl]-