AIDS-144241 AIDS144241 Methyl 5-oxotricyclo[2.2.1.0~2,6~]heptane-3-carboxylate NSC666437