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