The present invention provides a compound having a PDHK inhibitory activity and useful for the treatment or prophylaxis of diabetes (type 1 diabetes, type 2 diabetes etc.), insulin resistance syndrome, metabolic syndrome, hyperglycemia, hyperlactacidemia, diabetic complications (diabetic neuropathy, diabetic retinopathy, diabetic nephropathy, cataract etc.), cardiac failure (acute cardiac failure, chronic cardiac failure), cardiomyopathy, myocardial ischemia, myocardial infarction, angina pectoris, dyslipidemia, atherosclerosis, peripheral arterial disease, intermittent claudication, chronic obstructive pulmonary disease, brain ischemia, cerebral apoplexy, mitochondrial disease, mitochondrial encephalomyopathy, cancer, pulmonary hypertension or Alzheimer disease. The present invention relates to a compound of the formula [I-a] or the formula [II], or a pharmaceutically acceptable salt thereof : wherein each symbol means the same as that described in the specification.