AIDS-127880 AIDS127880 NSC195103 Propyl 1-oxaspiro[2.5]octane-2-carboxylate