10-(3-Allylthioureido)quino[8,1-bc][1,4]benzoxazepinone AIDS-070880 AIDS070880