8-(3-(2-(4-Fluorophenyl)-1,3-dioxolan-2-yl)propyl)-N-methyl-4-oxo-1-phenyl-1,3,8-triazaspiro[4.5]decane-3-carboxamide 2-butenedioate AIDS-158311 AIDS158311 NSC665889