AIDS-050731 AIDS050731 Ethyl 10-aza-11-cyano-4,6-dioxatricyclo[7.4.0.0<3,7