1.beta.,3.beta.,19.alpha.-Trihydroxy-2-oxo-urs-12-en-28-oic acid 1.beta.-Hydroxy-2-oxopomolic acid AIDS-070394 AIDS070394