3-ethoxycarbonylimidazo[1,5-a]pyridine-1-carboxylic acid