Filippo Magnini si ritira dal nuoto