2-(4-(1,3-Dioxolan-2-yl)butyl)-5-pentyldecahydroquinoline AIDS-130981 AIDS130981 NSC617619