1,3-Diazepin-2-one deriv. 4,7-Dibenzyl-1-[(cyclopropyl)methyl]hexahydro-5,6-dihydroxy-3-[3-(4-pyrazolyl)-2-propenyl]-1,3-diazepin-2-one AIDS-028451 AIDS028451 XU430