(4aR,5S)-3,4a-Dimethyl-2-oxo-2,4,4a,5,6,7-hexahydro-naphtho[2,3-b]furan-5-carboxylic acid AIDS-088138 AIDS088138