AIDS-144227 AIDS144227 Bicyclo[2.2.1]hept-2-ene-2,3-dicarboxylic acid NSC666420