Arsenal were once a "real option" for £171m-rated Martinelli upgrade