(1S,4R,7S,8aR)-4-(2,4-Dimethyl-oct-2-enoyloxy)-8a-methyl-7-(1-methylene-allyl)-6-oxo-1,2,3,4,6,7,8,8a-octahydro-naphthalene-1-carboxylic acid AIDS-088142 AIDS088142