30-Hydroxybetulin AIDS-080367 AIDS080367 Betulin deriv.