3-Cyano-1-ethoxycarbonyl-4-imino-2-isopropyl-4-H-quinolizine 4-H-quinozoline deriv. AIDS-003611 AIDS003611 KAV-397