3-tert-Butyl-6b-methylhexahydro-5H-cyclopropa[3,4]pyrrolo[2,1-b][1,3]oxazol-5-one AIDS-138217 AIDS138217 NSC644623