Cholesterol door J.C. Defesche & J.J.P. Kastelein