(+)-3.beta.-Hydroxymanool AIDS-094929 AIDS094929 Diterpene analog