4-((2,2-Diphenylcyclohexyl)oxy)-2-hydroxy-3-oxa-2.lambda.~5~-azaspiro[5.5]undec-1-en-5-yl acetate AIDS-153307 AIDS153307 NSC699775