(3.beta.)-Lup-20(29)-ene-3,28-diamine AIDS-080374 AIDS080374 Betulin deriv.