Compounds of the formula I in which X, R1 and Y have the meanings indicated in claim 1, are inhibitors of Tankyrase, and can be employed, inter alia, for the treatment of diseases such as cancer, cardiovascular diseases, central nervous system injury and different forms of inflammation.