Glycerylphosphorylcholine and phosphorylcholine in semen, and their relation to choline.