(4aS)-5α-[(E)-4-Carboxy-3-methyl-3-butenyl]-3,4,4a,5,6,7,8,8a-octahydro-5,6β,8aβ-trimethyl-1-naphthoic acid