2,4-Diethyl-7-oxo-6-azabicyclo[3.2.1]-3-octene-8-carboxylic acid AIDS-018668 AIDS018668