(3.beta.,16.alpha.)-3,16-Dihydroxyolean-12-en-28-oic acid 510-30-5 AIDS-087458 AIDS087458 Echinocystic acid