(+)-3.beta.,13-Diacetoxymanool AIDS-094931 AIDS094931 Diterpene analog