(1S,4R,7S,8aR)-4-(2,4-Dimethyl-oct-2-enoyloxy)-8a-methyl-7-(1-methyl-2-oxo-ethyl)-6-oxo-1,2,3,4,6,7,8,8a-octahydro-naphthalene-1-carboxylic acid AIDS-088130 AIDS088130