Synthesis and anti-HIV-1 activity of thiocarbamates, isosteres of PETT derivatives