Portuguese prosecutors say man named formal suspect in McCann case