Phospholipids in mammalian semen.