(3.beta.,5.alpha.,8.alpha.,22E)-5,8-Epidioxyergosta-6,22-dien-3-ol 2061-64-5 AIDS-070767 AIDS070767 Ergosterol peroxide