(1R,2R,4aR)-2-Acetoxy-1,4a-dimethyl-6-methylene-5-(3-methylene-pent-4-enyl)-decahydro-naphthalene-1-carboxylic acid 3-.alpha.-acetoxy-labda-8(17),13(16),14-trien-19-oic acid AIDS-093236 AIDS093236 Juniperexcelsis acid