Anti-HIV-1 integrase diterpenoids from Dichrocephala benthamii. (December 2015)