Catechol-substituted L-chicoric acid analogues as HIV integrase inhibitors.