6-(tert-butoxycarbonyl)-5,6,7,8-tetrahydropyrido[4,3-d]pyrimidine-2-carboxylic acid