4J33 precision alloy in Korea