2-(4-(1,3-Dioxolan-2-yl)butyl)-5-pentyl-3,4,4a,5,6,7,8,8a-octahydroquinoline AIDS-130982 AIDS130982 NSC617620