5th-century war between Attila the Hun and Aetius