Pyrimidine 2,4-Diones in the design of new HIV RT inhibitors