6-(Arylmethyl)pyrimidin-4(3H)-ones: anthology and prospects of highly efficient anti-HIV agents