Anti-HIV activity of dibenzylbutyrolactone-type lignans from Phenax species endemic in Costa Rica.