12.beta.-Acetoxy-3.beta.,15.beta.-dihydroxy-7,11,23-trioxo-5.alpha.-lanost-8-en-26-oic acid AIDS-070758 AIDS070758 Ganoderic acid alpha