3-Methyl-1-phenyl-8-(3-(2-(2-thienyl)-1,3-dioxolan-2-yl)propyl)-1,3,8-triazaspiro[4.5]decan-4-one 2-butenedioate AIDS-158310 AIDS158310 NSC665888