McAfee buys PGP Inc.