2.alpha.,19.alpha.-Dihydroxy-3-oxo-12-ursen-28-oic acid AIDS-087535 AIDS087535