Phosphate Derivatives of 3-Carboxyacylbetulin: SynThesis, In Vitro Anti-HIV and Molecular Docking Study