AIDS-112545 AIDS112545 Butanedioic acid, 2,2-dimethyl-, 4-[(3.beta.)-28-hydroxy-28-oxooleanan-3-yl] ester