ASHRAE Refrigerant number designation: R-423A