(R)-tert-butyl 1-(4-(2-cyanobenzyl)-6-methyl-5-oxo-4,5-dihydro-1,2,4-triazin-3-yl)piperidin-3-ylcarbamate