2,4-Diethyl-7-oxo-6-phenyl-6-azabicyclo[3.2.1]-3-octene-8-carboxylic acid AIDS-019070 AIDS019070