AIDS-215923 AIDS215923 D-Mannitol, 1,6-dideoxy-1,6-diphenyl-2,5-bis-O-(phenylmethyl)-