Design, synthesis and SAR study of bridged tricyclic pyrimidinone carboxamides as HIV-1 integrase inhibitors. Issue 13 (1st July 2020)