AIDS-215751 AIDS215751 Boc-vQ-OEt Ethyl (2E,4S)-7-amino-4-[(tert-butoxycarbonyl)amino]-7-oxo-2-heptenoate