Identification of spirocyclic or phosphate substituted quinolizine derivatives as novel HIV-1 integrase inhibitors: a patent evaluation of WO2016094197A1, WO2016094198A1 and WO2016154527A1