Design and synthesis of spirotryprostatin-inspired diketopiperazine systems from prolyl spirooxoindolethiazolidine derivatives