3-O-(1-Oxobutyl)echinocystic acid, methyl ester AIDS-087525 AIDS087525