How do you derive the LDL cholesterol from total cholesterol and HDL cholesterol?