SEC to informally petition Broadcom