1-Dodecyloxy-2-decyloxypropyl-3-phosphocholine AIDS-087835 AIDS087835 CP-131