4-(Cyclohexylamino)-8-(3-(2-(4-fluorophenyl)-1,3-dioxolan-2-yl)propyl)-1-phenyl-1,3,8-triazaspiro[4.5]dec-3-en-2-one AIDS-143785 AIDS143785 NSC665308