AIDS-132274 AIDS132274 NSC625794 Tricyclo[3.3.0.0~3,7~]octane-2-carboxylic acid