3.beta.-O-cis-Feruloylbetulinic acid AIDS-212711 AIDS212711