18,22-Cycloergosta-6,8(14)-dien-11-one, 3,5,9,23-tetrahydroxy-, (3.beta.,5.beta.,9.beta.,13xi,17.alpha.,22R,23S)- AIDS-094448 AIDS094448 Mer-NF8054X