Large-Scale Dataset Pruning in Adversarial Training through Data Importance Extrapolation