4-.beta.-Ergostan-26-oic acid, 4,22-dihydroxy-, .delta.-lactone 4.beta.-Hydroxywithanolide AIDS-087426 AIDS087426