(3.beta.)-Olean-12-ene-3,28-diol 545-48-2 AIDS-064685 AIDS064685 Erythrodiol