4,4-(3',3''-Dicarboxy-5'',5'''-dichloro-4'',4'''-dihydroxydiphenyl)-3-buten-1-yl 3-cholestanyl phosphate AIDS-087633 AIDS087633 Cosalane analog