1,4-Dibenzyl-2-hydroxy-butylenedicarbamate dibenzyl ester AIDS-028160 AIDS028160 Hydroxybutylenedicarbamate deriv.