Synthesis of thieno[3,2-d]pyrimidine-2,4-diones cyclic and acyclic nucleosides as potential anti HIV agents