(7S,8R)-7-(2-(3-Furyl)ethyl)-7,8-dimethylbicyclo[4.4.0]dec-2-ene-2-carboxylic acid AIDS-094928 AIDS094928 Hardwickiic acid