(3.alpha.)-Lup-20(29)-ene-3,28-diol AIDS-080371 AIDS080371 Betulin deriv.