Synthesis and HIV-integrase strand transfer inhibition activity of 7-hydroxy[1,3]thiazolo[5,4-b]pyridin-5(4H)-ones