123413-57-0 AIDS-000511 AIDS000511 Bz-D4C N4-Benzoyl-2',3'-dideoxy-2',3'-didehydrocytidine