AIDS-122231 AIDS122231 N-{1-[((7S,7aS,8R)-7-Phenylspiro[cyclohexane-1,6'-perhydro-5'-oxapyrrolizine]-8-yl)methyl](4-piperidyl)}[(4-nitrophenyl)methoxy]-N-prop-2-enylcarboxamide