tert-Butyl 4a-hydroxy-7-(pyrrolidin-1-ylcarbonyl)octahydro-2,7-naphthyridine-2(1h)-carboxylate 95%