2-(4-Carbamoyl-thiazol-2-yl)-pyrrolidine-1-carboxylic acid, tert-butyl ester AIDS-106757 AIDS106757