6-(p-Bromophenyl)-2-ethyl-7-oxo-6-azabicyclo[3.2.1]-3-octene-8-carboxylic acid AIDS-019079 AIDS019079