3,3-Dimethyl-8-(4-oxo-4-(2-thienyl)butyl)-1-phenyl-1,3lambda~5~,8-triazaspiro[4.5]decan-4-one 2-butenedioate AIDS-158312 AIDS158312 NSC665890