Anti-HIV protease triterpenoids from the acid hydrolysate of Panax ginseng