2,4-Diethyl-7-oxo-6-p-tolyl-6-azabicyclo-[3.2.1]-3-octene-8-carboxylic acid AIDS-019071 AIDS019071