M62.251: Nontraumatic ischemic infarction of muscle, right thigh