The present invention provides a compound which has a PDHK-inhibiting activity and is useful for the treatment or prevention of diabetes (type 1 diabetes, type 2 diabetes, etc.), insulin resistance syndrome, metabolic syndrome, hyperglycemia, hyperlactatemia, diabetes complications (diabetic neuropathy, diabetic retinopathy, diabetic nephropathy, cataract, etc.), heart failure (acute heart failure, chronic heart failure), cardiomyopathy, myocardial ischemia, myocardial infarction, angina pectoris, dyslipidemia, atherosclerosis, peripheral arterial disease, intermittent claudication, chronic obstructive pulmonary disease, brain ischemia, stroke, mitochondrial disease, mitochondrial encephalomyopathy, cancer, pulmonary hypertension or Alzheimer's disease. The present invention relates to a compound represented by formula [I-a] or [II] or a pharmaceutically acceptable salt thereof. [In the formulae, each symbol is as defined in the description.]La présente invention concerne un composé ayant une activité d'inhibition de PDHK et étant utile pour le traitement ou la prévention du diabète (diabète de type 1, diabète de type 2, etc.), le syndrome de résistance à l'insuline, le syndrome métabolique, l'hyperglycémie, l'hyperlactatémie, les complications du diabète (neuropathie diabétique, rétinopathie diabétique, néphropathie diabétique, cataracte, etc.), l'insuffisance cardiaque (insuffisance cardiaque aiguë, insuffisance cardiaque chronique), la cardiomyopathie, l'ischémie myocardique, l'infarctus du myocarde, l'angine de poitrine, la dyslipidémie, l'athérosclérose, la maladie artérielle périphérique, la claudication intermittente, la bronchopneumopathie chronique obstructive, l'ischémie cérébrale, l'accident vasculaire cérébral, la maladie mitochondriale, l'encéphalomyopathie mitochondriale, le cancer, l'hypertension pulmonaire ou la maladie d'Alzheimer. La présente invention concerne un composé représenté par la formule [I-a] ou [II] ou un sel pharmaceutiquement acceptab