Isolation, Structural Modification, and HIV Inhibition of Pentacyclic Lupane-Type Triterpenoids from Cassine xylocarpa and Maytenus cuzcoina.