3-[5,7-Bis((2E)-3-methylbut-2-enyl)-2-hydroxy-8,8-dimethyl-3-(3-methylbutanoyl)-4,9-dioxobicyclo[3.3.1]non-2-enyl]-3-phenylpropanoic acid AIDS-086057 AIDS086057 Laxifloranone