An approach to the stereo-controlled synthesis of polycyclic derivatives of L-4-thiazolidinecarboxylic acid active against HIV-1 integrase