AIDS-001538 AIDS001538 Synthetic phosphatidylcholine LPC