(+)-3.beta.-Acetoxymanool AIDS-094930 AIDS094930 Diterpene analog