(3.beta.)-3-[(3-Carboxy-2,2-dimethylpropanoyl)oxy]lupan-28-oic acid AIDS-028533 AIDS028533