AIDS-087529 AIDS087529 Echinocystic acid 3-O-.beta.-D-glucopyranoside