Sesquiterpenes and butenolides, natural anti-HIV constituents from Litsea verticillata.