SERPINC1 and hereditary antithrombin deficiency: Inherited antithrombin deficiency caused by a mutation in the SERPINC1 gene: A case report