3-.alpha.,28-Di-O-(3',3'-dimethylglutaryl)betulin AIDS-080372 AIDS080372