3.beta.-O-cis-Coumaroylbetulinic acid AIDS-212713 AIDS212713