X-ray analysis of HIV-1 reverse transcriptase in complex with thiocarbamates: structure-based design and synthesis of new analogues