2-(1-Ethyl-1.lambda.~5~-piperidin-1-yl)-4,4-difluoro-3-hydroxy-2-cyclobuten-1-one AIDS-145018 AIDS145018 NSC668848