A Petrobras-operated pre-salt wildcat offshore Brazil that was tipped as a potentially huge prospect has failed