Diagnosis and treatment of an inborn error of bile acid synthesis type 4: A case report